http://www-unix.mcs.anl.gov/~mccune/papers/robb...
on 29 April, 2002 529 ViewsA web text by William McCune describing the solution of this problem by a theorem-proving program, with input files and the proofs.
Bu arama motoruna herkes site ekleyebilir. Eklemek için lütffen Kayıt Olunuz.
http://www-unix.mcs.anl.gov/~mccune/papers/robb...
on 29 April, 2002 529 Views